trait A {
	type S
}
